The doxygen documentation is created with command 'make doc' in toplevel
directory.
